Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
341	Topologies on Types Eddie Dekel, Drew Fudenberg and Stephen Morris Talk for Southwestern Economic Theory Conference Arizona State University March 2006 Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2006-03-02 20:16:24 Product topology Topological space Drew Fudenberg Category of topological spaces Space Topology General topology Mathematics
342	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:28:12 Concurrency Diagrams Petri net Order theory Adjoint functors Pullback Subcategory Category Morphism Category theory Mathematics Abstract algebra
343	Productive Infinite Objects via Copatterns Andreas Abel1 Department of Computer Science and Engineering Chalmers and Gothenburg University Gothenburg, Sweden Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2014-01-15 14:43:02 Category theory Theoretical computer science Programming idioms Functional languages Functional programming Recursion Coinduction Haskell Pattern matching Software engineering Computer programming Computing
344	Enhancing feedback for students across a health sciences faculty Category: Refereed Professional Practice Sandra E Carr, Zarrin Seema Siddiqui, Diana Jonas-Dwyer and Susan Miller The University of Western Australia Add to Reading List Source URL: ctl.curtin.edu.au Language: English - Date: 2015-04-09 06:33:24 Educational technology Control theory Feedback Peer feedback Formative assessment Course evaluation Rubric Medical school Problem-based learning Education Educational psychology Evaluation methods
345	2-Covering spaces David M Roberts University of Adelaide October 1, 2009 Add to Reading List Source URL: ncatlab.org Language: English Homotopy theory Algebraic topology Category theory Algebraic structures Groupoid Covering space Fundamental group Equivalence relation Functor Topology Abstract algebra Mathematics
346	How to make TOPOS tell you that the Si net of SiO2 beta quartz is quartz and create a Add to Reading List Source URL: topospro.com Language: English - Date: 2015-03-06 08:37:20 Sheaf theory Topos Construction Tessellation Computer icon Category of topological spaces Tile Silicon dioxide Mosaic Visual arts Topology
347	A Gentle Introduction to Category Theory — the calculational approach — Maarten M. Fokkinga Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 13:02:53 Category Morphism Adjoint functors Equivalence of categories Limit Sheaf Product Natural transformation Functor Category theory Abstract algebra Mathematics
348	FORMAL DEFORMATION THEORY Contents 1. Introduction 2. Notation and Conventions 3. The base category Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-05-15 14:12:11 Morphisms Category theory Homological algebra Algebras Functions and mappings Surjective function Equivalence of categories Algebra homomorphism Commutative diagram Abstract algebra Mathematics Algebra
349	The Academy: A Community of Information Retrieval Agents Robert France DraftSeptember 1994 Add to Reading List Source URL: www.dlib.vt.edu Language: English - Date: 2014-08-11 19:15:46 Combinatorial optimization Functional analysis Measure theory Weight function Weighted mean Information retrieval Category of sets Initial and terminal objects Category Mathematical analysis Mathematics Analysis
350	With a 2008 Impact Factor of 2.905, Human-Computer Interaction is ranked highest in the Computer Science, Cybernetics category and 6th in Theory & Methods! Now you can read the mostcited articles fromfor free! Add to Reading List Source URL: www.tandf.co.uk Language: English - Date: 2009-07-24 10:58:17

UPDATE